function enter(pi) {
	pi.playPortalSound(); pi.warp(914000100, 1);
	return true;
	}